Exploiting stochastic process algebra achievements for generalized stochastic Petri nets
نویسندگان
چکیده
Constructing large Generalized Stochastic Petri Nets (GSPN) by hierarchical composition of smaller components is a promising way to cope with the complexity of the design process for models of real hardware and software systems. The composition of nets is inspired by process algebraic operators. A solid theoretical framework of such operators relies on equivalences that are substitutive with respect to the operators. Practically important, such equivalences allow compositional reduction techniques, where components may be replaced by smaller, but equivalent nets without affecting significant properties of the whole model. However, substitutive equivalence notions for GSPN have not been published. In this paper we adopt operators and equivalences originally developed in the context of Stochastic Process Algebras to GSPN. The equivalences are indeed substitutive with respect to two composition operators, parallel composition and hiding. This bears the potential to exploit hierarchies in the model definition to obtain performance indices of truly large composite GSPN by stepwise compositional reduction. We illustrate the effect of composition as well as compositional reduction by means of a running example. A case study of a workstation cluster highlights the potential of compositional reduction.
منابع مشابه
Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets
One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...
متن کاملA comparison of performance evaluation process algebra and generalized stochastic Petri nets
Generalized Stochastic Petri Nets (GSPN) and Performance Evaluation Process Algebra (PEPA) can both be used to study qualitative and quantitative behaviour of systems in a single environment. This paper presents a comparison of the two formalisms in terms of the facilities that they provide to the modeller, considering both the definition and the analysis of the
متن کاملMapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...
متن کاملOperational GSPN Semantics of MPA
In this technical report we define an operational net semantics for the stochastic process algebra MPA based on generalized stochastic Petri nets. As a consequence of the definition of such a semantics, we present an interesting modeling technique for concurrent systems which is based on MPA. 1. Dipartimento di Matematica, Università di Bologna, Piazza di Porta S. Donato 5, 40127 Bologna, Italy.
متن کاملThe Evolution of Stochastic Petri Nets
Analytical modeling is a crucial part in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful tool, widely used for dependability, performance and performability modeling. Many structural and stochastic extensions have been proposed so as to increase their modeling power. In this paper we review the main structural and stochastic extensions of Petri nets, by p...
متن کامل